r ¬ f -.