WHILE can run zero times

Level 5: Repeat. Pre-condition loop: the test runs before the body. If it is already false, the body never runs.