Domain d1yauj_: 1yau J:

Shown in context of the chain.