Class LogicalNotDef