Domain d1yauu_: 1yau U:

Shown in context of the chain.