MAYBE 51.92/15.12 MAYBE 51.92/15.12 51.92/15.12 Problem: 51.92/15.12 a(x1) -> b(x1) 51.92/15.12 a(c(b(x1))) -> c(a(b(a(c(x1))))) 51.92/15.12 b(c(x1)) -> x1 51.92/15.12 51.92/15.12 Proof: 51.92/15.12 Open 51.92/15.12 EOF