Domain d1yeqa_: 1yeq A:

Shown in context of the chain.