Domain d1eq2b_: 1eq2 B:

Shown in context of the chain.