 Those who are bothered by these features of P1 and P2 may wish to adopt the following principle: there is a special set of propositions \(Q\) such that (i) the restriction of P1 to \(Q\) holds, i.e., for every \(p\) in \(Q\), there is a fact \(x\) such that \(\ES(x) = \TS(p)\), and (ii) for every world \(w\) where a proposition \(p\) is true, there is a part \(R\) of \(Q\) whose members are true, and such that in every world where they are true, \(p\) is true.