e ¬ t : ih