t s ; n ¬ na.