,......................|.........................,
:mult                  |                         :
:                      |                         :
: *==================* |                         :
->!send [(W,S),(W,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)]!--
:          *========*  *================* :
,.........................................,