a needless repeating of the same thing in different words.