How do we know this is an infinite loop?
This is not an infinite loop
The condition is
false
The condition is
true
We can't tell if this is an infinite loop
This is not an infinite loop.