Full Idea
Friends of the truth-maker principle usually hold that the following states a crucial necessary condition on truth-making: if x makes y true, then, necessarily, if x exists then y is true.
Gist of Idea
It is assumed that a proposition is necessarily true if its truth-maker exists
Source
Marian David (Truth-making and Correspondence [2009], 2)
Book Reference
'Truth and Truth-Making', ed/tr. Lowe,E.J./Rami,A. [Acumen 2009], p.144
A Reaction
My objection is that the proposition y is taken to pre-exist, primly awaiting the facts that will award it 'truth'. An ontology that contains an infinity of propositions, most of which so far lack a truth-value, is incoherent. You can have x, but no y!