graph to verify