Domain d1inja_: 1inj A:

Shown in context of the chain.