 Recall that the central intuition driving strict actualism is that, necessarily, a singular proposition supervenes on the individuals it is about—call these individuals the subjects of the proposition—and, hence, that, necessarily, there is simply no information, no singular propositions, about things that fail to exist; if \(p\) is a singular proposition about \(a,\) then, necessarily, \(p\) exists only if \(a\) does. Conversely, necessarily, if all the individuals \(p\) is about exist, then so does \(p\). Prior expressed this connection between singular propositions and their subjects in terms of formulas and their constituent singular terms, i.e., their constituent individual constants and free variables. And, in formulating Q, instead of the existence or nonexistence of propositions, Prior typically spoke of the “statability” or “unstatability” of the formulas that express  them.[75]  Specifically, let \(\varphi\) be a formula and \(p_\varphi\) the singular proposition \(\varphi\) expresses. Intuitively, then, for Prior, \(\varphi\) is statable, or formulable, at a world \(w\) if and only if \(p_\varphi\) exists at \(w\) and, hence, if and only if all of \(p_\varphi\)’s subjects exist at \(w\). Thus, where \(a_\tau\) is the denotation of a singular term \(\tau\):