g(g(x)) -> x
f(x,y) -> x