Total ordering

  1. REDIRECT total order