Domain d1ldia_: 1ldi A:

Shown in context of the chain.