t a ¬ fl