Domain d1eq2c_: 1eq2 C:

Shown in context of the chain.