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

Proof:
 Open