graph navigation seems sound dependant on hw4_vg