                               p        q
                              / \      / \
                             q   c => a   p
                             ^            ^
                            a b          b c
 
