How to read your proofs