\begin{sequent}
\begin{align*}
 A:\Obj ~|~ \IsTerminal( A ) \vdash \IsZeroForObjects( A )
\end{align*}
\end{sequent}

\begin{sequent}
\begin{align*}
 A:\Obj ~|~ \IsInitial( A ) \vdash \IsZeroForObjects( A )
\end{align*}
\end{sequent}
