MAYBE 88.06/48.72 MAYBE 88.06/48.72 88.06/48.72 Problem: 88.06/48.72 a(x1) -> b(x1) 88.06/48.72 a(b(x1)) -> b(c(a(x1))) 88.06/48.72 b(x1) -> c(x1) 88.06/48.72 c(b(x1)) -> a(x1) 88.06/48.72 88.06/48.72 Proof: 88.06/48.72 Open 88.06/48.73 EOF