Domain d5iifa_: 5iif A:

Shown in context of the chain.