t ; 2 : ¬ n,