Part II: Logic