f ¬ t et