"probability measure" . "42712"^^ . . . "42731"^^ .