MAYBE 103.07/55.33 MAYBE 103.07/55.33 103.07/55.33 Problem: 103.07/55.33 a(x1) -> x1 103.07/55.33 a(x1) -> b(x1) 103.07/55.33 b(b(c(x1))) -> a(c(c(c(a(b(x1)))))) 103.07/55.33 103.07/55.33 Proof: 103.07/55.33 Open 103.07/55.33 EOF