a -> b -> d
\         ^
 \       /
  \> c -