Domain d1fung_: 1fun G:

Shown in context of the chain.