MAYBE 60.89/19.54 MAYBE 60.89/19.54 60.89/19.54 Problem: 60.89/19.54 f(f(a(),x),y) -> h(h(f(f(x,f(a(),y)),a()))) 60.89/19.54 60.89/19.54 Proof: 60.89/19.54 Open 60.89/19.54 EOF