Redirecting to Ramsey's theorem