% Proof of Theorem~\ref{thm:example}: in the body in the full version, in the appendix in the conference version (macros/version.tex).
\begin{proof}
Placeholder proof.
\end{proof}