TAG: The recursion