Omega-categorical_theory loading ...