Since D is constitutive of the meaning of ‘C’, (K) should be analytic and so necessary. The descriptive view would thus be refuted either by (i) metaphysically possible instances of the kind C that do not possess the property complex D or by (ii) metaphysically possible items that do possess the property complex D without being instances of C.