Lecture 3: Methods of Proof, cont`d