More work on Inference.