- ¬ r 1!