 Unfortunately this argument takes us nowhere except around in a circle. (Necessitation-T) embodies the doctrine that it is both necessary and sufficient for being a truth-maker that a thing necessitates the truth it makes true. Armstrong’s argument for this doctrine relies upon the dual assumptions: (1) anything that fails to necessitate p (witness T) cannot be a truth-maker for p,whereas (2) anything that succeeds in necessitating p (witness T+U) must be. But (1) just is the claim that it is necessary, and (2) just the claim that it is sufficient for being a truth-maker that a thing necessitates the truth it makes true. Since it relies upon (1) and (2), and (1) and (2) are just equivalent to (Necessitation-T), it follows that Armstrong’s argument is incapable of providing independent support for the conception he favours of what it is to be a truth-maker.