                 |                |                    |
                 y                y                    x
                <+>             <++>                  <0>
               /   `_          /    `_            _.-'   \
              a       x    => a*       x    =>    y       c
                     <+>              <+>        <0>
                    /   \            /   \      /   \
                   b     c          b     c    a*    b
 
