Bayes formula
fix example