Categorical versus Propositional Logic