Domain d1u2vf_: 1u2v F:

Shown in context of the chain.