r ¬ f e.