This makes free counterfactuals compatible with determinism without requiring agent-caused law-break...
This proposition has not been edited since the history system was added.