Hallo, > Not quite what I'm looking for. That section describes > a non-deterministic method for generating a complete > linear order. Well, although this tie-breaking strategy is _formulated_ as a random tie-breaker, it is almost always decisive. Markus Schulze