Domain d1yiha_: 1yih A:

Shown in context of the chain.