All the Formal Stuff