Domain d4ieqa_: 4ieq A:

Shown in context of the chain.