MAYBE 42.87/11.71 MAYBE 42.87/11.71 42.87/11.71 Problem: 42.87/11.71 a(a(x1)) -> a(b(b(c(x1)))) 42.87/11.71 c(a(x1)) -> x1 42.87/11.71 c(b(x1)) -> a(c(x1)) 42.87/11.71 42.87/11.71 Proof: 42.87/11.71 Open 42.87/11.71 EOF