Correctness of Graphs