Adding an example of existential quantification