r a ¬ r t n.