I believe I have the hypothesis for the induction step correct this time.