Non-domination protects against arbitrary interference even when not actively interfered with, where...
This proposition has not been edited since the history system was added.