Restricting Leibniz's Law to same-sortal comparisons avoids contradiction without denying the legiti...
This proposition has not been edited since the history system was added.