|
                               p        |
                                \       x
                                 x  =>  ^
                                 ^     a b
                                a b