Relative identity allows 'x is identical to y relative to sortal F' without absolute identity, enabl...
This proposition has not been edited since the history system was added.