MAYBE 162.34/58.40 MAYBE 162.34/58.41 162.34/58.41 Problem: 162.34/58.41 a(b(b(a(x1)))) -> a(c(a(b(x1)))) 162.34/58.41 a(c(x1)) -> c(c(a(x1))) 162.34/58.41 c(c(c(x1))) -> b(c(b(x1))) 162.34/58.41 162.34/58.41 Proof: 162.34/58.41 Open 162.34/58.41 EOF