 The unacceptability of these results indicates that insofar as we have an intuitive grip upon the concept of a truth-maker it is constrained by the requirement that a truth-maker for a truth must be relevant to or about what it represents as being the case. For example, the truths of pure arithmetic are not about what’s at the back of your refrigerator; what’s there isn’t relevant to their being true. So we’re constrained to judge that what’s there cannot be truth-makers for them. This suggests that operating at the back of our minds when we issue these snap judgements there must be something like the principle: