MAYBE 219.02/55.39 MAYBE 219.02/55.39 219.02/55.39 Problem: 219.02/55.39 a(x1) -> b(x1) 219.02/55.39 b(b(a(c(x1)))) -> a(c(c(b(a(a(x1)))))) 219.02/55.39 219.02/55.39 Proof: 219.02/55.39 Open 219.02/55.39 EOF