Domain d1xota_: 1xot A:

Shown in context of the chain.