Domain d1y1ix_: 1y1i X:

Shown in context of the chain.