MAYBE Problem: f(x) -> f(g(x)) Proof: Open