Bayes' theorem
Compatibility with Bayes' theorem.