a needless repetition of the same thing in different words.