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