Domain d1y2va_: 1y2v A:

Shown in context of the chain.