 Of course, if in fact there is a (strongly) necessary being—Allah, say—then, by S3, some singular logical truths—e.g., something exists if Allah exists, \(\exists \sfx\,\sfx=\sfa \to \exists \sfx\,\sfx=\sfx\)—will be n-statable and, hence, (strongly) necessary. But no such truths are provably n-statable in Q, as \(\rS \tau\) is not a theorem of Q, for any term \(\tau\) and, hence, by S2, neither is \(\rS \varphi\) for any formula \(\varphi\) in which \(\tau\) is free. Thus, not only are all wholly general theorems provably necessary as per \(\textbf{Nec}^{**}_{Q},\) they are the only provably necessary logical truths of Q.