MAYBE 154.59/57.75 MAYBE 154.59/57.75 154.59/57.75 Problem: 154.59/57.75 c(c(x1)) -> a(b(x1)) 154.59/57.75 b(x1) -> a(a(x1)) 154.59/57.75 b(b(b(x1))) -> a(c(b(x1))) 154.59/57.75 a(c(a(x1))) -> a(c(c(x1))) 154.59/57.75 154.59/57.75 Proof: 154.59/57.75 Open 154.59/57.75 EOF