∧
x
x