A -> B
A -> C
B -> D
C -> D
