ss="math inline">\(\theta = (\mu, \sigma, \lambda)\)</span>, shows that the likelihood returns the same
density under label switching and thus the predictive inference is
sound. In Stan, that predictive inference can be done either by
computing <span class="math inline">\(p(\tilde{y} \, | \, y)\)</span>, which is more efficient
statistically in terms of effective sample size, or simulating draws
of <span class="math inline">\(\tilde{y}\)</span>, which is easier to plug into other inferences. Both
approaches