\begin{frame}{Towards the Proof of the Consistency Theorem}
  \begin{block}{}
    For all models $\model{\amodel}$ and all environments $\saluf\,$:
    \begin{talign}
      &  \satstmt{\model{\amodel} \satisfieslookup{\saluf} \formula{\true}}
      && \satstmt{\model{\amodel} \satisfiesnotlookup{\saluf} \formula{\false}}
    \end{talign}
  \end{block}
  \medskip
  
  In other words:
  \begin{itemize}\setlength{\itemsep}{0ex}
    \item $\formula{\true}$ is true in every model
    \item $\formula{\false}$ is not true in any model
  \end{itemize}
\end{frame}