
\begin{figure}
\boxfig{
\begin{center}
\fbox{ $\pureJudgeS{\sigma}$ } 
\end{center}
\[	\begin{array}{ll}
	\hspace{4.6em}
	\pureJudgeS{\bot}
\\
	\begin{array}{l}
	\pureJudge
		{\Sigma [~ \un{\rconst~ \rho} ~]}
		{\iRead~ \un{\rho}}
\\[1ex]
	\pureJudge
		{\Sigma [~ \un{\rconst~ \rho} ~]}
		{\iAlloc~ \un{\rho}}
	\end{array}
	& 

	\infer	{\pureJudgeS{\sigma_1 \lor \sigma_2}}
		{	\pureJudgeS{\sigma_1}
		 \qq	\pureJudgeS{\sigma_2}}
	\end{array}
\]

\smallskip
} % boxfig
\smallskip
\caption{Pure Effects}
\label{fig:PureEffects}
\end{figure}