 That is, \(\sfE!\varphi \to \theta\) says that \(\theta\) holds if all of \(\varphi\)’s subjects exist—hence, for the strict actualist, if the proposition (expressed by) \(\varphi\) itself exists. Note that, when \(\varphi\) is wholly general, \(n=0\) and so \(\sfE!\varphi \to \theta\) is just \(\theta\).