Domain d1autc_: 1aut C:

Shown in context of the chain.