 It is useful to note that, under this convention, when \(n \gt 0,\) \(\rS \tau_1\ldots\tau_n \to \theta\) is equivalent to \((\rS \tau_1\,\land\,\ldots\,\land\,\rS \tau_n) \to \theta,\) and that, when \(n=0,\) \(\rS \tau_1\ldots\tau_n \to \theta\) is just \(\theta.\)[77]  Given this, we can express Prior’s final axiom for n-statability as follows: