Modern type-token and parthood frameworks adequately capture necessary exclusions without positing a...
This proposition has not been edited since the history system was added.