e ¬ e t.