Aristotle's categories are both the type of grammatical predicates we use in language, and also about the types of qualities that can belong to things in the actual world. Are there some categories that aristotle overlooked and should be on his list, or are there others that don't really belong there?