 One particularly interesting case of entailment failure arises when the property sets are not closed under quantification. This opens room for cases in which the supervening set A contains properties formed by quantification, like being such that every F is a G, and the subvening set B does not. If B does not include such properties, there are no properties in B that entail them. As Bertrand Russell noted many years ago, “you cannot ever arrive at a general fact by [deductive] inference from particular facts, however numerous” (Russell 1918, 235; quoted in Bricker 2005). But general properties, nevertheless, logically supervene on particular ones: no two possible worlds can differ in what general facts hold without differing in what particular facts hold (see Skyrms 1981, Lewis 1992, and Bricker 2005). Thus, general facts logically supervene on particular facts, even though the latter do not entail the former.