The claim presupposes a fixed, language-independent notion of 'polynomial time' that ignores relativ...