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