MAYBE 43.40/13.59 MAYBE 43.40/13.59 43.40/13.59 Problem: 43.40/13.59 a(x1) -> x1 43.40/13.59 a(b(b(x1))) -> b(b(b(c(a(x1))))) 43.40/13.59 b(c(x1)) -> a(x1) 43.40/13.59 43.40/13.59 Proof: 43.40/13.59 Open 43.40/13.59 EOF