 It is important to appreciate that adopting this approach to truth-making doesn’t have the benefits of theft over honest toil. For one thing it doesn’t obviate the threat of superfluous truth-makers for necessary truths. (Entailment) is the principle that truth-making tracks entailment: if A makes p true then it makes all the consequences of p true too. It’s a principle that recommends itself irrespective of whether truth-making can be defined. This is because it dovetails smoothly with the idea that one truth-maker can make many truths true. For example, suppose that a particular a has some absolutely determinate mass. It is entailed by this description that various determinable descriptions are also truly predicable of a. Some of these truths say more than others, nonetheless they all have the same truth-maker. Why so? Because they are entailed by a’s having the mass it does (Armstrong 1997: 130; 2004: 10–11). To answer so is to appeal to (Entailment). But if the entailment that truth-making tracks is classical then we are back to flouting (Relevance). If q is necessary then any contingent p classically entails q. So if something at the back of your refrigerator makes it true that p then by (Entailment) it makes q true too. To avoid flouting (Relevance) in this way (Entailment) had better be a principle that links truth-making to a more restrictive, non-classical notion of entailment (Mulligan, Simons, &amp; Smith 1984: 316). So we won’t be saved the logical labour of figuring out which non-classical connective it is that contributes to capturing what it is to be a truth-maker. Nor will appealing to (Axiomatic-T) save us the hard work of figuring out what truth-makers and truth-bearers must be like in order to collectively realise the structure described by the axiom schemata for truth-makers we favour. But there is nothing about these schemata that demands truth-bearer and truth-maker be internally related.