Loops until an expression becomes true.
DO ... UNTIL "expression"
DO UNTIL loops can be nested as many times as memory allows.