This is a variant of Bayes' Theorem that is used when there are multiple levels of variation in a problem.