"recursive_solve" is now working.