It's not just Ding Not, but Ding Not 3 and Ding Not 4.
Having said that, the word not suddenly sounds more complicated than a 3 letter word.
By the way, judging by the naming convention of brothers Ding Not 3 and Ding Not 4, one wonders whether they had brothers, who came before them, named Ding Not 1 and Ding Not 2.