Bayes' theorem
Using Bayes' theorem, we can partition over formula_40: