Domain d5ltla_: 5ltl A:

Shown in context of the chain.