Formal relations (like instantiation) are constitutive of their relata's identity, unlike contingent...
This proposition has not been edited since the history system was added.