now checked in the `while` clause