The Formal Mistake