Induction problem