Domain d1ui1a_: 1ui1 A:

Shown in context of the chain.