Categorical propositions