Immediate_inference