The existenial (∃) and universal (∀) quantifiers