`arithmetical order` => `lexicographical order`?