Redirecting to Second-order logic