Comment by taybin

Then how would you know the loop wouldn't eventually halt? ;)