head(h, a, b).
head(g, b, b).
head(h, x, y).