The Difficulty of Proof