induction problem solving