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