. . . "supremum" . . "supremum" . .