Fig. (10)
Inference rules assigned to retained functions.