hxt upper bound