(U1.LS.7) Introduction to Proofs