HW5: Logic Statements