t t ¬ genaf