existential quantifier: a logical quantifier of a proposition that asserts the existence of at least one thing for which the proposition is true
quantifier: (logic) a word (such as `some' or `all' or `no') that binds the variables in a logical proposition
flux applicator: an applicator for applying flux (as in soldering)