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