re-ordered in lexicographical order