A : B | D.
D : E.
B : C.
C : D.
E : A.