Reasonable models of computation can simulate each other within a polynomially bounded overhead in t...