 Leibniz’s argument for God’s existence from the existence of the necessary truths crucially involves the premises that all truths are true in virtue of something distinct from them (they need what contemporary metaphysicans sometimes call a “truth-maker”). Since necessary truths would be true even if there were no finite minds to think them, such truths cannot be true in virtue of facts about human psychology. Against the Platonic suggestion that they are true in virtue of Forms existing outside of any mind whatsoever, Leibniz argues that some of the truths are about abstract entities, which are not the kinds of things that could have mind-independent existence. The only contender that remains, then, is that these truths are true in virtue of the ideas in an infinite and necessarily existent (divine) mind (Leibniz 1714 [PP]: 647; Adams 1994: 177ff.).