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