If Socrates essentially belongs to {Socrates}, then {Socrates} must essentially contain something th...
This proposition has not been edited since the history system was added.