Y1: Logic