3/19
\frametitle{Examples}
\begin{exampleblock}{Example: $\vdash\;\; ((p \to q) \to p) \to p$}
\frametitle{Examples}
\begin{exampleblock}{Example: $\vdash\;\; ((p \to q) \to p) \to p$}