A theory of probable inference.