Domain d1oj1a_: 1oj1 A:

Shown in context of the chain.