higher bound a string
tie red lines on ___