Comment by martinflack

It could've easily been defined that the else branch runs if the while condition never had a true value at all. In fact, I think that's more intuitive.