Domain d1cpfa_: 1cpf A:

Shown in context of the chain.