mention that next-string is bounded