Domain d4mula_: 4mul A:

Shown in context of the chain.