Model_theoretic loading ...