Therefore, the claim that primitive recursion over a computable base provides 'no a priori assurance...