A = B.
B = C D. 
C = Beta1 Epsilon.
D = <f> F E.
E = <g> G <h> H. 
F = .
G = .
H = .