
% -- Effect Subsumption ---------------------------------------------------------------------------

\begin{figure}
\boxfig{
\begin{center}
\fbox{ $\suJudgeGS{\sigma}{\sigma'}$ } 
\end{center}
\vspace{-1em}

\[	\ruleIL	{SuMaskPure}
		{ \kiJudgeGS{\un{\rpure~ \sigma}}{\iPure~ \sigma} }
		{ \suJudgeGS{\sigma}{\bot} }
\]
} % boxfig
\smallskip
\caption{Subsumption of Effects}
\label{fig:SubsumptionOfEffects}
\end{figure}
