10
This is the first place the word is used, which means it is being defined by describing it in another way, so readers (from that point on) will have a general understanding of what the word means. If it was "redundant" to use it in that way in this instance, then we have to accuse dictionaries of being "redundant" and stop using them for their intended purpose.
The reason the interpretation of leavened preachers is redundant in other places of Scripture (when concerning the word 'repent') is because they depart from the definition of repentance in Gen 6:6, and create a new definition that matches their works-based false gospel; thus creating redundancy where there is none, but defining a term, which the Bible does in many cases, is not redundant.