Domain d1toia_: 1toi A:

Shown in context of the chain.