Immediate and Mediate inference.