1. Induction loop (optional)