I think this is working as a lexicographic sorter...