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