Enumerative_induction loading ...