1. Induction loop