Describing that loop from outside is not the same as paying the cost of running it from inside