Domain d1jkuf_: 1jku F:

Shown in context of the chain.