I also find "while" natural whenever I have some precondition. For example if I need to take a lock before checking for the terminating condition while holding

I also find "while" natural whenever I have some precondition. For example if I need to take a lock before checking for the terminating condition while holding the lock.