; i a r ¬ n r a.