i a ¬ r.