Bayes' theorem

P(H|D) = P(D|H) P(H) / P(D). Bridges prior to posterior given a likelihood. Central engine of Bayesian inference and of agent belief updating.