[zardo]

Let t be a turtle. For each t there exists a turtle k such that t is standing on k.