Bayes' postulate