Formal Inference