Domain d1we2a_: 1we2 A:

Shown in context of the chain.