Parikh's own work on feasible arithmetic shows that operationally motivated length restrictions requ...