t f d t t e , t a d t d ¬ a nu