Lecture 1 - Why do we do proofs?