. . "Etymology of pingue" . . .