 Note the difference between this method and the method of giving necessary and sufficient conditions: x is an object iff Φ. If one has a contrast class in mind, then presumably one can substitute for Φ the negation of that contrast class, e.g., “x is an object iff x is not a property”. But that isn’t what it is to be an object. A real definition demands more.