Inductive_set loading ...