Domain d1t2ta_: 1t2t A:

Shown in context of the chain.