 All cooperating sites converge in a state in which there is a same set of objects that are in the same order.Moreover, the ordering is effectively determined by the effects of the operations when they are generated.Since the two conditions also impose additional constraints on object ordering, they are actually stronger than convergence.