The constraint proves too much: natural language always involves implicit background assumptions, ye...
This proposition has not been edited since the history system was added.