Worked on rewriting the induction step.