induction.v 修正