. . "Finally, there is an example where p takes one argument ??? a pair (outgoing red channel, enrolled barrier) ??? and q takes two arguments ??? a pair (incoming red channel, enrolled barrier), and an Int:" . .