higher bound a string
line work lines pace ___