Tutorials: 5. Proofs