 So x is a truth-maker for a truth p iff x exists and another representation that says x exists entails the representation that p. It is an attraction of this principle that the key notion it deploys, namely entailment, is ubiquitous, unavoidable and enjoys a rich life outside philosophy—both in ordinary life and in scientific and mathematical practice.