TeX source:
\forall s. \psi(a)\Rightarrow possible(a,s)