The Proof Hurts