Prescriptive entailments differ logically from indicative ones: 'do X' and 'do Y' don't entail 'do X...
This proposition has not been edited since the history system was added.