∧∧
(=ΦωΦ)
∪∪∪∪