Domain d1dula_: 1dul A:

Shown in context of the chain.