MAYBE 135.18/56.30 MAYBE 135.18/56.30 135.18/56.30 Problem: 135.18/56.30 a(b(x1)) -> b(a(a(x1))) 135.18/56.30 b(c(x1)) -> c(b(x1)) 135.18/56.30 a(a(x1)) -> a(c(a(x1))) 135.18/56.30 135.18/56.30 Proof: 135.18/56.30 Open 135.18/56.34 EOF