Finite_model_theory loading ...