Domain d1t1ia_: 1t1i A:

Shown in context of the chain.