Comment by DannyBee

I actually agree with what you wrote. I'm specifically referring to the very restricted instruction set and not the later one where it is allowed another type of operation. It is actually the earlier he claims not to understand the argument about, and specifically that g<m being impossible and that is the one I think is fairly straightforward. But you are also right that while what I said definitely rules out g<m, It does not rule out making it faster despite that and I would not be shocked if it was possible even without allowing for another kind of operation