MAYBE 61.17/29.88 MAYBE 61.17/29.88 61.17/29.88 Problem: 61.17/29.88 a(x1) -> x1 61.17/29.88 a(b(x1)) -> b(b(c(a(x1)))) 61.17/29.88 b(c(c(x1))) -> c(a(x1)) 61.17/29.88 61.17/29.88 Proof: 61.17/29.88 Open 61.17/29.88 EOF