n ¬ t d t , aa