Discussion on the name Iudocus