MAYBE

Problem:
 c() -> f(g(c()))
 f(g(X)) -> g(X)

Proof:
 Open