Vanessa Kosoy comments on [missing post]

[Vanessa Kosoy]

let $k_{s^{\prime }}:P_j\to R^{U_{\top }}$be a helper function that maps each $a\in V\left(P_i\right)$ to $e_{\top }(s^{\prime },a)$.

This function is ill-defined outside the vertices.