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