\begin{circus}
	\circchannel chan : \nat \cross \nat
\end{circus}

\begin{circus}
	\circprocess SingleComplexComm \circdef \circbegin
\end{circus}

\begin{circusaction}
	\circspot
		chan?x?y
		\then \Skip
\end{circusaction}

\begin{circus}	
	\circend
\end{circus}
