∀X: (E∨X) = E