2.4 Writing Proofs