Progress on inner recursion