MAYBE 179.73/55.48 MAYBE 179.73/55.48 179.73/55.48 Problem: 179.73/55.48 b(a(x1)) -> b(b(x1)) 179.73/55.48 b(a(b(x1))) -> b(a(a(x1))) 179.73/55.48 a(a(a(x1))) -> a(b(b(x1))) 179.73/55.48 179.73/55.48 Proof: 179.73/55.48 Open 179.73/55.49 EOF