working on VP -> v[aux] v[past]