Co-location under different haecceities violates Leibniz's Law: if two entities differ intrinsically...
This proposition has not been edited since the history system was added.