in the notation of predicate logic, quantifiers directly precede (and thus introduce) variable names, which are then followed by other quantifiers or mathematical expressions, where the said variables are found. for example. one can use the expression formula_1 to mean "there is a person "x" such that for all persons "y", y likes x" ("everyone is liked by someone.").