MAYBE 218.98/55.38 MAYBE 218.98/55.38 218.98/55.38 Problem: 218.98/55.38 a(a(b(x1))) -> a(b(c(a(x1)))) 218.98/55.38 a(c(x1)) -> b(a(a(x1))) 218.98/55.38 218.98/55.38 Proof: 218.98/55.38 Open 218.98/55.38 EOF