The parts needed for Bayesian inference