. . "Etymology of digesto" . . .