MAYBE 221.17/55.93 MAYBE 221.17/55.94 221.17/55.94 Problem: 221.17/55.94 b(a(b(b(b(a(b(b(x1)))))))) -> b(b(b(a(b(a(b(b(b(a(b(x1))))))))))) 221.17/55.94 221.17/55.94 Proof: 221.17/55.94 Open 221.17/55.94 EOF