Domain d1jt1a_: 1jt1 A:

Shown in context of the chain.