If X necessitates Y and Y is constitutive of identity, then X partially constitutes that identity.
This proposition has not been edited since the history system was added.