Strings are sorted