Domain d1j0bj_: 1j0b J:

Shown in context of the chain.