% vim: set spelllang=nl:
\subsection{\texttt{Put}}

$$
\begin{prooftree}
	hallo
\end{prooftree}
$$

