Theorems from idealized models (Turing machines, frictionless planes) traditionally yield only bound...
This proposition has not been edited since the history system was added.