Furthermore, the set of variables that may be resampled is fixed given this ordering.
the probability of sampling any possible bispan in the sentence pair is still uniform (ensuring detailed balance), while our sampler remains fast.