Title: How to Read and Do Proofs