Conditional probability with Bayes theorem