Redirecting to Gödel–Gentzen negative translation