Lexicographic permutation added