WEEK 2- 2nd LECTURE (Introduction to Proofs, Proof Methods and Strategy)