a n r r : a ¬ , n :r