MAYBE 41.42/13.54 MAYBE 41.42/13.54 41.42/13.54 Problem: 41.42/13.54 a(x1) -> b(x1) 41.42/13.54 a(c(x1)) -> c(b(c(b(a(a(x1)))))) 41.42/13.54 b(b(x1)) -> x1 41.42/13.54 41.42/13.54 Proof: 41.42/13.54 Open 41.42/13.54 EOF