higher bound a string

less string strings elf strings less strings✕