What is the appropriate meaning of the word 'redundant'?