Bayes' theorem
Plugging these numbers into Bayes' theorem, one finds that