Domain d1ty6a_: 1ty6 A:

Shown in context of the chain.