 Prior’s final axiom for n-statability is essentially the converse: if all the individuals that \(\varphi\) names are necessary, then \(\varphi\) is n-statable. A simple convention enables us clearly to express this axiom (and others below) schematically. Let \(\theta\) be any formula of \(\scrL_{Q}\); then, for any \(n \ge 0,\)