we need strong induction