Redirecting to Church–Turing thesis