Add Existential Operator.