t e ¬ t.