Inductive_reasoning loading ...