quantifier

quantifiers can come next to each other or they can be moved around in a correct way that also preserves their order in the formula, see https://en.wikipedia.org/wiki/Prenex_normal_form