Adding existential quantification…