 Let us now turn to the stronger principles. A very strong principle connecting propositions and facts says that for every proposition \(p\) which can be true, there exists a fact represented by \(p\) which necessitates \(p\) (i.e., a fact which makes the proposition true in every world where it is true). The principle just says that for every proposition which can be true, there is a fact whose existence-set is identical to the proposition’s truth-set: