Remember, if we look at the properties it has to have, it's going to guarantee me that when it gets to the right value, I exit the loop, which suggests it's going to certainly be part of the test of the while. 