t t - n , e rn t ¬n