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