Mediate And Immediate Inference