Domain d1xdyj_: 1xdy J:

Shown in context of the chain.