Domain d1ys2x_: 1ys2 X:

Shown in context of the chain.