 We have been assuming an “abundant” theory of properties, on which we can take for granted that there are such properties as being negatively charged and not part of a fish, being grue, and so on. But one can easily slip into inconsistency in talking like this. The obvious generalization is the following schema: