, ¬ 0 ¬ ¬ n ¬ n.