working on vp -> v[aux] vp