Conditional probability and Bayes' theorem