added induction problems