Domain d1j2ta_: 1j2t A:

Shown in context of the chain.