Modal facts about what could have been are explanatorily basic and need not reduce to non-modal prop...
This proposition has not been edited since the history system was added.