Redirecting to Existential quantification