, f r ¬ ; r , , f a a.