Translate each of the following into the logical notation of propositional functions and quantifiers, in each case using the abbreviations suggested and making each formula begin with a quantifier, not with a negation symbol.

Not every applicant was hired. ( Ax: x is an applicant; Hx: x was hired.)