rest of notation check and minor typos
some bayesian testing stuff