higher bound a string
tight we aver ___