Bigger part of Bayes written down