r ¬ r a.