Domain d1txua_: 1txu A:

Shown in context of the chain.