Domain d2vxje_: 2vxj E:

Shown in context of the chain.