Domain d1rofa_: 1rof A:

Shown in context of the chain.