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.

Citizens of the United States can vote only in U.S. elections. (Ex: x is an election in which citizens of the United States can vote; Ux: x is a U.S. election.)