Problem:
 a() -> h(c())
 a() -> h(f(c()))
 h(x) -> h(h(x))
 f(x) -> f(g(x))

Proof:
 Open