 Note that \({\sim}\phi\) is equivalent to \((\phi \rightarrow \bot)\), and that \((\phi \rightarrow \psi)\) is true iff \(\phi \vDash \psi\). Equally importantly, we can define \(\forall x (\phi)\) as \((\exists x \rightarrow \phi)\).