=== Message

* Add an end condition to this loop.
* Correct this loop's end condition to not be invariant.