Domain d4fx2a_: 4fx2 A:

Shown in context of the chain.