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