Domain d1veqk_: 1veq K:

Shown in context of the chain.