Use the right induction variable.