A system that accommodates both actual laws AND the counterfactual choice would be less elegant, for...
This proposition has not been edited since the history system was added.