MAYBE 40.33/10.41 MAYBE 40.33/10.41 40.33/10.41 Problem: 40.33/10.41 a(x1) -> x1 40.33/10.41 a(x1) -> b(x1) 40.33/10.41 a(b(c(x1))) -> c(b(a(c(a(x1))))) 40.33/10.41 c(x1) -> x1 40.33/10.41 40.33/10.41 Proof: 40.33/10.41 Open 40.33/10.41 EOF