Domain d1im2a_: 1im2 A:

Shown in context of the chain.