Exact Inference