Hard Proof