Relative identity violates the transitivity of identity: if A=B under sortal S and B=C under sortal ...
This proposition has not been edited since the history system was added.