Inductive_dimension loading ...