Probabilities: better derivation of Bayes rule
Probabilities: more work on Bayes rule