A Somewhat Formal Introduction to Informal Proofs of Claim