Formal Matters