∀X: (E∧X) = X