Small_inductive_dimension loading ...