Lecture 4 - Definitions, Proofs and Examples 1