. . "Etymology of distinguo" . .