Domain d1lt6e_: 1lt6 E:

Shown in context of the chain.