Domain d4equa_: 4equ A:

Shown in context of the chain.