MAYBE 20.22/10.18 MAYBE 20.22/10.18 20.22/10.18 Problem: 20.22/10.18 f(x) -> f(x) 20.22/10.18 20.22/10.18 Proof: 20.22/10.18 Open 20.22/10.18 EOF