Domain d1lt8a_: 1lt8 A:

Shown in context of the chain.