                                 |
                                 y           |
                               <-->          w
                          __.-'    \        <0>
                          x         d      /   \
                         <+>          =>  x     y
                        /   \             ^     ^
                       a     w           a b   c d
                             ^
                            b c
 
