r e ¬ f e.