simplify existential