MAYBE 190.78/55.40 MAYBE 190.78/55.40 190.78/55.40 Problem: 190.78/55.40 c(c(x1)) -> b(b(x1)) 190.78/55.40 a(b(x1)) -> a(c(b(x1))) 190.78/55.40 b(a(x1)) -> b(b(x1)) 190.78/55.40 b(c(x1)) -> c(a(a(x1))) 190.78/55.40 190.78/55.40 Proof: 190.78/55.40 Open 191.08/55.40 EOF