Proving “Proof”?