Unit 2: Logic and Proof