apply_induction