The totality's distinctiveness can be explained through logical properties (non-membership, closure)...
This proposition has not been edited since the history system was added.