MAYBE 148.93/55.35 MAYBE 148.93/55.35 148.93/55.35 Problem: 148.93/55.35 a(a(a(x1))) -> b(a(b(x1))) 148.93/55.35 b(a(b(x1))) -> a(b(a(x1))) 148.93/55.35 148.93/55.35 Proof: 148.93/55.35 Open 148.93/55.36 EOF