Domain d1oifa_: 1oif A:

Shown in context of the chain.