 Prior touted Q as a “modal logic for contingent beings” (1957: 50). It is therefore a rather awkward theorem of Q that there are no contingent beings in the strong, actualist sense of  \(\textbf{Cont}_{\exists}\):  since, for any term \(\tau\) other than \(\sfy,\) \(\exists \sfy\, \sfy=\tau\) is a theorem of Q, by \(\textbf{Nec}_{Q}\) (and  \(◼\textbf{Def}\))  it is weakly necessary, \(\neg\Diamond\neg\exists \sfy\,\sfy=\tau,\) and the problematic theorem