Dynamic semantics can assign the same propositional content different truth values by updating conte...
This proposition has not been edited since the history system was added.