An exit-condition loop
Other programming languages also have an exit-condition loop, known as a do-while loop.
The major significance of the exit-condition loop is:
This is because the test is performed after the body of the loop has already executed once.
Alice does not have an exit-condition loop.