- n n t ¬ 4 n a.