 More generally, can we make any sense of the idea of “an ontological free lunch”? Why is something supervenient no addition to being? Even if we only ever came to recognise the existence of one supervening entity would we not thereby have added at least one extra item to our inventory of things that exist? Of course in the special case where the supervening entity is constituted by the entities it supervenes upon—i.e., the things that are already there—it makes some sense to say that it’s not adding anything new; but it’s not at all obvious that what Armstrong et al. declare to be ontological free lunches are constituted from the entities upon which they supervene (Melia 2005: 74–5). Accordingly Schulte (2011a, 2011b) argues that no necessitarian or grounding account of truth-making can make sense of the notion of an ontological free lunch, maintaining instead that truthmaker theory needs to be augmented with the idea that we are offering a reductive explanation when we make an explanation in terms of truthmakers