MAYBE 87.99/55.31 MAYBE 87.99/55.31 87.99/55.31 Problem: 87.99/55.31 a(x1) -> x1 87.99/55.31 a(b(x1)) -> c(a(x1)) 87.99/55.31 c(c(x1)) -> b(b(c(b(a(x1))))) 87.99/55.31 87.99/55.31 Proof: 87.99/55.31 Open 87.99/55.31 EOF