Why Mechanical Verification Is NecessaryNatural language has no concept of an invalid sentence2026-02-26