Fig. (12)
FSPN translation of Init.