Domain d2xt1a_: 2xt1 A:

Shown in context of the chain.