. . "Etymology of redundare" . . .