Tag: credible set posterior inclusion probability