how do we know that this loop has an end?