82/162
\begin{frame}{Encoding a PCP-Instance into a Formula}
  \understandmodel{\pause}
\end{frame}