A = C.
C : B common D.
B = E.
D : E | F.
F = .
E = .