Bayesian computation faces a recurring difficulty: outside a few special cases the posterior cannot be computed in closed form, and inference must proceed through approximations, Monte Carlo sampling or variational ...