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