A : B | D *common* D.
B : E | G.
D = A.
E = .
F : A.
G : F.