%
% Case 2 (x < 0): derp.
%
+\ifx\havemjoproofbycases\undefined
+\def\havemjoproofbycases{1}
+
% Used below to define pcases. The ``loadonly'' parameter prevents
% a very bad interaction with the beamer document class.
\def\thiscase{#1}%
\item \hfill\par\vspace{\singleblskip}
}
+
+
+\fi