s , H . h orn gt 6 ) 45 ) )?