Domain d1nfub_: 1nfu B:

Shown in context of the chain.