Unit 3: Logic and Proof Methods