
\begin{proof}{1.5in}{0.8in}
\state{$\neg \neg (p \imp \neg p)$}{premise}
\state{$p \imp \neg p$}{$\neg\neg$e 1}
\assumption{3}{
  \state{$p$}{assumption}
  \state{$\neg p$}{$\imp$e 3, 2}
  \state{$\bot$}{$\neg$e 3, 4}
}
\state{$\neg p$}{$\neg$i 3-5}
\end{proof}
