Bayesian Probability Formula