Redirecting to Rice's theorem