Finite_model_property loading ...