Domain d1lt0a_: 1lt0 A:

Shown in context of the chain.