Lexicographic Order | judge.