Halfway through induction tutorial