Probability in BayesRule