. . "definxi" . . . "definx+i" . . . "definxi" . .