                               |         |
                               p         r
                              / \        ^
                             a   r   => a b
                                  \
                                   b
 
