The Invariance Thesis establishes polynomial equivalence in simulation overhead, but polynomial blow...