Pascal's post-test loop construct. Executes the body at least once, then checks the condition: the loop continues until the condition becomes `True`. Note that this is opposite to `while`, which continues while the condition is `True`. (Ch. 6)