Adeq recursion