a formal device, for which the conventional symbol is ∃, which indicates that the open sentence that follows is true of at least one member of the relevant universe of interpretation, as (∃ x) Fx meaning"something is (an)F," "something Fs," or "there are (some) Fs."