Domain d2aigp_: 2aig P:

Shown in context of the chain.