MAYBE 234.85/60.18 MAYBE 234.85/60.18 234.85/60.18 Problem: 234.85/60.18 b(b(a(a(b(x1))))) -> b(a(a(b(b(x1))))) 234.85/60.18 b(a(a(a(b(b(b(x1))))))) -> b(b(b(a(a(a(b(x1))))))) 234.85/60.18 b(a(b(a(a(b(x1)))))) -> b(a(b(b(a(a(a(b(x1)))))))) 234.85/60.18 b(a(a(a(b(a(b(x1))))))) -> b(a(a(b(a(b(x1)))))) 234.85/60.18 234.85/60.18 Proof: 234.85/60.18 Open 234.85/60.19 EOF