Domain d1xdmy_: 1xdm Y:

Shown in context of the chain.