g(a()) -> a()
g(g(x)) -> x
f(x) -> x