Domain d1irib_: 1iri B:

Shown in context of the chain.