Leibniz's Law assumes absolute identity: if x=y, all properties match. But sortal-relative identity ...
This proposition has not been edited since the history system was added.