. . "Thus we need to say that S is a pattern solution of GRAPH(g, P)" . .