Lecture 2 - How do we do proofs? Part I