t s , ¬ a t fn