.B|C
.C|D
.D|A
.A|B
B&C
C>D
