. . . . . . . . . "deduce-97.2" . . . . . . . . . . . . . . . . . . . . . . .