The samples z i are guaranteed (in the limit) to consistently approximate the conditional distribution P (z|x, θ) (or P (z|x) later).
the average counts of phrase pairs in the samples converge to expected counts under the model.