existential quantifier: a logical quantifier of a proposition that asserts the existence of at least one thing for which the proposition is true
centrifugal force: the outward force on a body moving in a curved path around another body