n r 1 ¬.