. . "Etymology of infimo" . . .