Redirecting to Probabilistic logic