If the Loop Condition is false the loop is
finished, and the Loop Body will not be
executed again.

(Follow the arrow down to the Rest of the Program.)