downward lexicographic