Added generalization of the induction step