UNIT 2: LOGIC AND PROOFS (Conditional Statements)