Domain d1ht1y_: 1ht1 Y:

Shown in context of the chain.