MAYBE

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

Proof:
 Open