Proof is dead