MAYBE 39.04/11.30 MAYBE 39.04/11.30 39.04/11.30 Problem: 39.04/11.30 a(x1) -> x1 39.04/11.30 a(b(x1)) -> b(c(a(a(x1)))) 39.04/11.30 c(c(c(x1))) -> a(b(x1)) 39.04/11.30 39.04/11.30 Proof: 39.04/11.30 Open 39.04/11.31 EOF