Example 40.
Expansion of ⇓II within V in Part 2; complete foreground graph of Part 2
