Last Rites for the Hard Proof