Model_complete_theory loading ...