MAYBE 28.24/10.18 MAYBE 28.24/10.18 28.24/10.18 Problem: 28.24/10.18 a(x1) -> x1 28.24/10.18 a(b(x1)) -> x1 28.24/10.18 a(c(x1)) -> c(c(a(a(b(x1))))) 28.24/10.18 b(b(x1)) -> x1 28.24/10.18 28.24/10.18 Proof: 28.24/10.18 Open 28.24/10.19 EOF