\begin{zed}
  Colour ::= blue | red | green
\end{zed}

\begin{circus}
    \circchannel c: Colour \cross Colour \cross Colour
\end{circus}

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

\begin{circusaction}
	\circspot 
		c?x?y?z 
		%c.blue.red.green
		\then \Skip
\end{circusaction}

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