Conditional Probability and Bayes Theorem