Domain d1coha_: 1coh A:

Shown in context of the chain.