Domain d1ybud_: 1ybu D:

Shown in context of the chain.