,..........|................................................,
   :mult      v                                                :
   :  *==================*                                     :
   :  !send [(N,S),(N,E)]!--------+                            :
   :  *==================*        |                            :
   :          |                   |                            :
   :          v                   |                            :
   :  *=============*             |       *=================*  :
   :  !case N of S,E!-------------#------>!send [(Inr (),E)]!---
   :  *=============*             |       *=================*  :
   :      |                       |                            :
   :      v                       v                            :
   :  *========*              *========*                       :
   -->!use mult!------------->!use plus!------------------------
   :  *========*              *========*                       :
   ,...........................................................,


       ,..............................|....................................,
       :plus                          |                                    :
       :  *==================*        |                                    :
       -->!send [(W,S),(W,E)]!--------#--------------------+               :
       :  *==================*        |                    |               :
       :         |                    |                    |               :
       :         |                    v                    v               :
       :         |                 *==============*    *============*      :
       :         |                 !case N of S, E!--->!send [(N,E)]!-------
       :         |                 *==============*    *============*      :
       :         |                        |                                :
       :         |                        v                                :
       :         |                    *========*       *================*  :
       :         +------------------->!use plus!------>!send [(Inl W,E)]!---
       :                              *========*       *================*  :
       ,...................................................................,


 ,..............................................................,
 :main                                                          :
 :                                                              :
 :  *================================================*          :
 :  !send [(Inl Inr (),E),(Inl Inl Inl Inl Inr (),S)]!--+       :
 :  *================================================*  |       :
 :                   |                                  v       :
 :                   |                            *========*    :
 :                   +--------------------------->!use mult!-----
 :                                                *========*    :
 ,..............................................................,

EOF