If the underlying notion of polynomial time is model-relative, then the transitivity proof inherits ...