Domain d1fxua_: 1fxu A:

Shown in context of the chain.