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