Domain d1si6x_: 1si6 X:

Shown in context of the chain.