Posterior predictive check question

That sounds correct to me.