h , e t , r t k n t h ¬ r ; : a t.