Logical contradiction: a category claiming to capture everything cannot exclude anything, making it ...
This proposition has not been edited since the history system was added.