Categorical_propositions loading ...