Cobham's original characterization of feasibility via limited recursion on notation tacitly assumes ...