Negation of the proposition ! x H(x) is : [N17Q9]