Title: Introduction to Proofs and Proof Strategies