Domain d1muxa_: 1mux A:

Shown in context of the chain.