. . . "arithmantus" . .