Lecture 5 - Definitions, Proofs and Examples 2