The syntax of existential quantification