come on, prove that the graph is truthful.