. . . . . . . "infim+abit" . "infimabit" . "infimabit" .