\begin{frame}{Entailment Syntactically $\derives$ and Semantically $\satisfies$}
  \blockentailment
\end{frame}