Redirecting to Second-order arithmetic