Recursive-Inference