Holdout predictive checks for Bayesian model criticism | Synapse