. . . "Etymology of pingo" . .