sentences:  Bayes' theorem can be applied to a pair of competing models formula_1 and formula_2 for data formula_3, one of which may be true (though which one is unknown) but which both cannot be true simultaneously.The posterior probability for formula_1 may be calculated as