\\(G_1\\): \\(f = g\\)

\\(G_2\\): None (I think)

\\(G_3\\): \\(f.h = g.i\\)

\\(G_4\\): None