Interesting, Max. I'd always thought of "redundant" as meaning repetitious, not superfluous. Repetition, then, does not necessarily involve superfluity; so that, as you say, it is not necessarily redundant. Hmm.