higher bound a string

tie breaks string bound less string less✕