. "b is an upper bound for S, and" . . .