Recursive Inference