If formal necessity doesn't entail priority, it's unclear how it grounds rather than merely correlat...
This proposition has not been edited since the history system was added.