"deduxi" . . . . . . "deduxi" . . "dedux+i" . .