MAYBE 166.54/55.59 MAYBE 166.54/55.59 166.54/55.59 Problem: 166.54/55.59 a(b(x1)) -> c(b(x1)) 166.54/55.59 c(c(x1)) -> d(b(x1)) 166.54/55.59 d(x1) -> c(e(x1)) 166.54/55.59 b(b(x1)) -> f(x1) 166.54/55.59 c(b(x1)) -> g(x1) 166.54/55.59 e(x1) -> f(x1) 166.54/55.59 e(x1) -> b(b(x1)) 166.54/55.59 f(g(x1)) -> a(c(x1)) 166.54/55.59 g(f(x1)) -> e(x1) 166.54/55.59 a(x1) -> b(c(x1)) 166.54/55.59 166.54/55.59 Proof: 166.54/55.59 Open 166.54/55.59 EOF