 The upshot is that the logical supervenience of property set A on property set B will only guarantee that each A-property is entailed by some B-property if A and B are closed under both infinitary Boolean operations and property-forming operations involving quantification.