Conditional probabilities and Bayes' theorem