AAHL 4.13 Bayes' theorem