2.6 Introduction to Proofs