, a ¬ f at