iLogic 2.1 Categorical Statements