The 'bounded overhead' claim conflates worst-case and average-case complexity; overhead varies by TM...
This proposition has not been edited since the history system was added.