 But what about supervenience with metaphysical or logical necessity? Even that does not in general guarantee that there are B-properties that entail the A-properties. At best, the logical supervenience of A on B means that how something is B-wise entails how it is A-wise. But it does not follow that every A-property is entailed by a B-property, or even that some A-property is entailed by a B-property. Consider two examples. First, on the assumption that there are negative properties, every property F will supervene with logical necessity on its complement not-F. After all, two things cannot differ with respect to whether they are F without differing with respect to whether they are not-F, and conversely. But obviously being F does not entail being not-F (McLaughlin 1995, 1997a). Second, consider a case in which the property set B contains only the property P and the property Q, and property set A is the unit set of the conjunctive property P&amp;Q. That is, A = {P&amp;Q}, and B = {P, Q}. A supervenes with metaphysical necessity on B. But there is no property in B that entails the A-property.