A source kernel before testing

Only this actual incidence forces $v=a=z$. No internal vertex is assigned $u_0$, $y_0$, or $x_0$ by hand.

For operator notation, the incoming $(a,z)$ covectors may be sign-reversed in the usual primed relation. Below we use unprimed kernel covectors in $T^{\ast }W$.