Leibniz's Law fails without sortals: objects can share some properties but differ on sortal-dependen...
This proposition has not been edited since the history system was added.