Notes on loop termination.