Redirecting to Quantifier elimination