[ogogmad]

This might be it. Good catch. A machine that can perform all integer arithmetic operations (+, -, *) in constant time can solve all problems in PSPACE in polynomial time.

[silasdavis]

Yes I think this is where NP is hiding.

[bodhiandphysics]

We’re lucky he didn’t claim p=PSPACE!