∧HAN∨