"0.0"^^ . . "Prior sense of extimom extimum" . .