UNTIL definition uses WHILE, moving to after it.