The constraint does not establish *correspondence* to how things actually are, only reliable causal ...
This proposition has not been edited since the history system was added.