Whereas usually we check the condition at the start of a loop, these loops will check a condition at the end of the loop.
That means that loop will always execute at least once!