a -> b -> c
      \
       > e -> c