MAYBE 151.31/55.36 MAYBE 151.31/55.36 151.31/55.36 Problem: 151.31/55.36 a(x1) -> b(x1) 151.31/55.36 a(b(b(c(x1)))) -> a(c(c(a(a(a(x1)))))) 151.31/55.36 151.31/55.36 Proof: 151.31/55.36 Open 151.31/55.36 EOF