, t e n h n h ¬ * -t