Domain d1kj1a_: 1kj1 A:

Shown in context of the chain.