Bayesian method Probabilistic programming and Bayesian inference Label PDF+ code