 In the same way that ordinary objects like Harry can serve as truth-makers for contingent predications, Lewis &amp; Rosen (2003) suggest that the entire world—“the totality of everything there actually is”—can serve as the truth-maker for negative existentials. Take the world qua unaccompanied by unicorns. In the conversational context just set up, the world has no counterparts that are inhabited by unicorns. So the world qua unaccompanied by unicorns is essentially lacking in unicorns and therefore qualifies as a truth-maker for the statement that there are no unicorns.