Recursion is such a recursion