It's actually in the lexicographical order.