Redirecting to Probabilistic Turing machine