Redirecting to Löb's theorem