Domain d1aigo_: 1aig O:

Shown in context of the chain.