 Armstrong takes (P1) to articulate the following intuitive asymmetry: It is true that Socrates is wise because Socrates is wise; but Socrates is not wise because it is true that Socrates is wise (see Armstrong 2004: 4). In Armstrong’s terminology a truth-bearer is true in virtue of (made true by) the existence of another entity, a truth-maker. A truth-maker ensures or guarantees the truth of a truth-bearer. Some authors take this guarantee to be a form of necessitation: x makes it true that p if, and only if, necessarily, if x exists, it is true that p.