r a ¬ f r ;.