Geach's framework allows 'x is same F as y' yet 'x is not same G as y'—this violates Leibniz's law a...
This proposition has not been edited since the history system was added.