Categorical_logic loading ...