Independence, conditional probability and Bayes rule