When rewriting the loop exit test with the canonical induction variable,