H t \ { tx.