Strict identity prohibits one thing occupying a location in two distinct modal contexts, forcing col...
This proposition has not been edited since the history system was added.