Domain d1jofa_: 1jof A:

Shown in context of the chain.