, e t t h ¬.