Modal primitives require no commitment to unobservable causally-isolated domains, making them empiri...
This proposition has not been edited since the history system was added.