 Prior’s first axiom for n-statability is that it is not a property a statement \(\varphi\) could lack if it could have it all; otherwise put: if the proposition that \(\varphi\) expresses could exist necessarily, then it does exist necessarily: