                              |           |
                              y           y
                             <0>         <+>
                            /   \  =>  _'   \
                           a     b    a*     b
                           h     h    h-1    h
 
