add test of existential quantification