Total Probability and Bayes Theorem I