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

Proof:
 Open