MAYBE

Problem:
 g(X) -> h(X)
 c() -> d()
 h(d()) -> g(c())

Proof:
 Open