Domain d2auxa_: 2aux A:

Shown in context of the chain.