Extensional models can remain logically consistent if post-dictive updates are treated as revisions ...
This proposition has not been edited since the history system was added.