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