Domain d1lfta_: 1lft A:

Shown in context of the chain.