9.5:  Writing Proofs: How do you know?