Feasibility is preserved under limited recursion on notation, because the number of recursive steps ...