f e ¬ f-