MAYBE 124.77/55.34 MAYBE 124.77/55.34 124.77/55.34 Problem: 124.77/55.34 a(x1) -> b(x1) 124.77/55.34 b(b(c(x1))) -> c(a(c(b(a(x1))))) 124.77/55.34 c(c(x1)) -> x1 124.77/55.34 124.77/55.34 Proof: 124.77/55.34 Open 124.77/55.34 EOF