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