higher bound a string

less string strings elf less elf strings✕