Polynomial-time functions' behavior depends on which model interprets them, creating irreducible epi...
This proposition has not been edited since the history system was added.