Domain d2vxju_: 2vxj U:

Shown in context of the chain.