Fig. (17) FSPN Translation of If.