Domain d1ptqa_: 1ptq A:

Shown in context of the chain.