Conflating domains leads to absurdity: inferring 'red means stop' from 'you ought to stop at red lig...
This proposition has not been edited since the history system was added.