Anatomy of a Proof