posterior_distribution