 Those who take these to be problems may endorse the following weaker principle: for every proposition \(p\) which can be true and every world \(w\) at which it is true, there is a fact which makes it true. That principle is equivalent to: for every proposition \(p\) which can be true, there exists a set of facts \(G\) whose members are represented by \(p\) such that every member of \(G\) necessitates \(p\). To put it differently, for every proposition which can be true, there is set of facts whose disjunctive existence-set is identical to the proposition’s truth-set: