MAYBE 20.57/10.19 MAYBE 20.57/10.19 20.57/10.19 Problem: 20.57/10.19 f(x) -> f(a()) 20.57/10.19 20.57/10.19 Proof: 20.57/10.19 Open 20.57/10.19 EOF