2. Induction loop (optional)