MAYBE 37.07/10.35 MAYBE 37.07/10.35 37.07/10.35 Problem: 37.07/10.35 a(x1) -> x1 37.07/10.35 a(x1) -> b(x1) 37.07/10.35 a(b(x1)) -> b(c(x1)) 37.07/10.35 c(c(x1)) -> a(c(a(x1))) 37.07/10.35 37.07/10.35 Proof: 37.07/10.35 Open 37.07/10.36 EOF