Function induction loop (optional)