higher bound a string
in ___