MAYBE 30.66/10.29 MAYBE 30.66/10.29 30.66/10.29 Problem: 30.66/10.29 a(x1) -> x1 30.66/10.29 a(a(x1)) -> a(b(c(c(x1)))) 30.66/10.29 c(x1) -> b(x1) 30.66/10.29 c(b(x1)) -> a(x1) 30.66/10.29 30.66/10.29 Proof: 30.66/10.29 Open 30.66/10.29 EOF