\begin{circus}
\circchannel abeesse : \boolean \cross \nat
\end{circus}
\begin{circus}
\circprocess ProcAbs \circdef \circbegin \\
  \t1\t1 \circspot abeesse.\true.0 \then \Skip \\
  \circend
\end{circus}