. . . "pigrulentus" . .