Actually, this is not an infinite loop. This loop is always false until it evaluates 2000,
in which case it is true, and it stops. I got hung up on this too, I think the backwardness of until can be confusing.