 Yet the analyses Newell is discussing are of the concept of an effective method, not of the concept of a machine-generatable function. The equivalence of the analyses bears only on the question of the extent of what is humanly computable, not on the question of whether the functions generatable by machines could extend beyond the functions generatable by human computers (even human computers who work forever and have access to unlimited quantities of paper and pencils). Indeed, Newell’s argument is undercut by the existence of (notional) machines capable of generating functions that, given Turing’s thesis, cannot be generated by any effective method.