MAYBE 37.53/10.30 MAYBE 37.53/10.30 37.53/10.30 Problem: 37.53/10.30 a(x1) -> x1 37.53/10.30 a(a(x1)) -> a(b(c(x1))) 37.53/10.30 c(b(x1)) -> a(c(a(x1))) 37.53/10.30 37.53/10.30 Proof: 37.53/10.30 Open 37.53/10.30 EOF