at H . valid.