The claim assumes implementation *reflects* theoretical motivation, but parsers may simply have been...
This proposition has not been edited since the history system was added.