Redirecting to Frege's theorem