3.10 - Formal Inference