. " he is exactly what it means to say that N is a bound for S." . . .