MAYBE 233.49/59.15 MAYBE 233.49/59.15 233.49/59.15 Problem: 233.49/59.15 a(b(c(x1))) -> c(b(a(x1))) 233.49/59.15 a(c(x1)) -> a(a(d(a(x1)))) 233.49/59.15 d(a(b(x1))) -> b(a(d(x1))) 233.49/59.15 d(a(c(x1))) -> b(c(c(x1))) 233.49/59.15 233.49/59.15 Proof: 233.49/59.15 Open 233.49/59.15 EOF