S = Intersect(g, h)