I had thought the same but since there is G(x, y), it seems to hang.