                         |                       |
                     B,pa[k-1]                  B,x
                        <g>                     <g>
                 _.-'         `_            _.-'   `_
                A,x             C,w   =>    A         C
                <b>             <b>        <b>       <r>
               /   \           /   \      /   \     /   \
              a     b         c     d    a     b   c     d
 
