Prior and Bayes rule presentation