∧
∨
∧∨
:
∨
∨
∨