recursion-scheme is under control.