Inductive loop

  1. redirect Induction loop