 Second, in the case of substance kinds, those things that are not in the kind don’t themselves form a kind of their own. They are what’s “left over”. The class of all things that are not-horses includes computers, stars, dust, basketballs, people, etc. So, if we elide ‘not man’ and ‘woman’, then women are not read as a kind. As Marilyn Frye puts it,