XIV-F: immediate successor package

G0: copied inputs and the unchanged stop › XIV-F: immediate successor package · lines 417–422

These statements are boundaries for the present route. The matching $F_{match}$ and the map $J$ are not reused as a composition relation.

Nearby in this section