. . "ratiocinator" . .