MAYBE 57.90/19.71 MAYBE 57.90/19.71 57.90/19.71 Problem: 57.90/19.71 a(a(x1)) -> a(b(b(c(x1)))) 57.90/19.71 b(a(x1)) -> x1 57.90/19.71 c(b(x1)) -> a(c(x1)) 57.90/19.71 57.90/19.71 Proof: 57.90/19.71 Open 57.90/19.71 EOF