lexicographical sorter added