MAYBE 218.97/55.36 MAYBE 218.97/55.36 218.97/55.36 Problem: 218.97/55.36 b(c(x1)) -> d(c(x1)) 218.97/55.36 b(d(x1)) -> d(b(x1)) 218.97/55.36 a(d(x1)) -> a(b(b(x1))) 218.97/55.36 218.97/55.36 Proof: 218.97/55.36 Open 218.97/55.36 EOF