\begin{figure}

\boxfig{
\begin{center}
\fbox{ $\ksJudgeGS{\kappa}{\omega}$ } 
\end{center}

\[
	\ruleIL	{KsApp}
		{\ksJudgeGS
			{\kappa_1}
			{\kappa_{11} \to \omega}
		 \quad
		 \ksJudgeGS
			{\varphi}
			{\kappa_{11}}
		}
		{\ksJudgeGS
		 	{\kappa_1 \ \varphi}
		 	{\omega}
		}
	\quad\quad
	\ruleIL	{KsAtom}
		{\kappa \in \{ *, \ \%, \ !\} }
		{\ksJudgeGS{\kappa}{\Box}}
\]

\[	\ruleIL	{KsAbs}
		{\ksJudgeGS
			{\kappa_1}
			{\omega_1}
		 \quad
		 \ksJudge
			{\Gamma,~ a : \kappa_1}
			{\Sigma}
			{\kappa_2}
			{\omega_2}
		}
		{\ksJudgeGS
			{\kiPi{a}{\kappa_1}{\kappa_2}}
			{\omega_2}
		}
\]

\[
	\ksJudgeGS{\iConst}{\% \to \Diamond}
	\quad
	\ksJudgeGS{\iMutable}{\% \to \Diamond}
	\quad
	\ksJudgeGS{\iPure}{ \: ! \to \Diamond}
\]
} % boxfig
\smallskip
\caption{Super-kinds of Kinds}
\label{fig:supers-of-kinds}
\end{figure}