Redirecting to Prenex normal form