existential quantifier: a logical quantifier of a proposition that asserts the existence of at least one thing for which the proposition is true
tumble-dryer: a clothes dryer that spins wet clothes inside a cylinder with heated air