Class LogicalAndDef