pr H . pr ( t. pr (t.