Existential and Universal quantification