. . . "infima" . . "infima" . .