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