Lecture 3 - How do we do proofs? Part II