Problem:
 c() -> f(c(),c())
 c() -> g(c(),c())
 f(x,f(x,x)) -> c()

Proof:
 Open