Logical identity and difference are contradictory properties; simultaneous possession requires equiv...
This proposition has not been edited since the history system was added.