Domain d1axya_: 1axy A:

Shown in context of the chain.