MAYBE 219.31/55.51 MAYBE 219.31/55.51 219.31/55.51 Problem: 219.31/55.51 a(a(a(x1))) -> b(b(a(x1))) 219.31/55.51 a(b(a(x1))) -> b(b(a(x1))) 219.31/55.51 b(a(b(x1))) -> a(a(b(x1))) 219.31/55.51 219.31/55.51 Proof: 219.31/55.51 Open 219.31/55.52 EOF