Each phrase pair in each outcome contributes to these posteriors the probability of adding a new pair, deciding whether it is null, and generating the phrase pair along with its contribution to the distortion probability.
this is all captured in a succinct potential function ψ( e, f ) = outcome o 0 is chosen with probability Operators in a Gibbs sampler require certain conditions to guarantee the correctness of the sampler.