Bayes rule of probability