MAYBE 134.05/55.31 MAYBE 134.05/55.31 134.05/55.31 Problem: 134.05/55.31 a(x1) -> b(x1) 134.05/55.31 b(a(b(b(x1)))) -> b(b(b(a(a(x1))))) 134.05/55.31 134.05/55.31 Proof: 134.05/55.31 Open 134.05/55.32 EOF