Extensional enumeration fixes a disjunction to actual members only, lacking modal resources to track...
This proposition has not been edited since the history system was added.