If the while expression becomes false in the middle of the while loop body, the loop terminates immediately.

The while loop checks the condition at the beginning of each iteration, not in the middle. If the condition becomes false in the middle of executing the loop body, the loop will not terminate immediately but will continue until the end of the current iteration and then terminate before the next iteration if the condition is still false.