Reading, Discovering and Writing Proofs [pdf]