At each iteration, the shape changes slightly, until eventually, the design stabilizes to a device that looks suspiciously like a turtle.

So you hypothesize that there exists a fixpoint for the cleaner function?