Bayes rule
In terms of our problem: