E:visited{p:v}