The Formal Stuff.