Aaronson and others in computational complexity theory distinguish between polynomial-time equivalen...