Inference OK in all cases.