. . . "infimo"@la . "infimo" . .