A : ~D
B : A
C : A + B
D : B + C
