Formal Frenzy