Lurie's induction step