e ¬ a e.