 Lewis also argues that we can’t stop here—just giving up maximalism for optimalism—because even the truth-makers for atomic statements conflict with Humeanism. Suppose that the statement that Dog Harry is golden is atomic. Also suppose that Harry is only accidentally golden, so the statement is contingent. What is its truth-maker? It can’t be Harry because it’s possible for him to exist even in circumstances where the statement is false, i.e., when he has a different coloured coat. But it can’t be the property of being golden either since there are possible circumstances in which plenty of things are golden but not Harry. It can’t even be the mereological fusion Harry + being golden because it’s a feature of fusions that they exist even in circumstances where their parts are otherwise unrelated—e.g., when Harry is black whilst Harriet is golden. For this reason, many maximalists make common cause with optimalists to posit another fundamental kind of thing to perform the truth-making role in the case of contingent (atomic) predications: facts that consist in objects, properties and relations bound together; in this case the fact Harry’s being golden (Armstrong 1989a: 41–2, 1997: 115–6; Mellor 1995: 24). Now facts in general and Harry’s being golden in particular cannot be built up mereologically from Harry and being golden; otherwise Harry’s being golden would be no more fit a candidate for making the statement that Harry is golden true than the fusion Harry + being golden. Since Harry’s being golden isn’t built up mereologically from Harry and being golden, they cannot be parts of it. But if they aren’t parts of it they must be entirely distinct from this state of affairs. This is where Lewis pounced. Even though Harry’s being golden is entirely distinct from its “constituents” it cannot obtain without Harry and being golden existing. More generally, the obtaining of a fact necessitates the existence of its constituents even though the fact and its constituents are entirely distinct. So we cannot posit facts as truth-makers for contingent (atomic) statements without going against Humeanism (Lewis 1992: 200, 1998: 215–6, 2001: 611).